简体版 繁體版 English 한국어
登録 ログイン

sober spaceの例文

例文モバイル版携帯版

  • There is a duality, known as Stone duality, connecting sober spaces and spatial locales.
  • The adjunction between topological spaces and locales restricts to an equivalence of categories between sober spaces and spatial locales.
  • There are spaces that are more specific than T 0 spaces for which this order is interesting : the sober spaces.
  • Hence any sober space with specialization order d " is finer than the upper topology and coarser than the Scott topology.
  • Now, in the vast and sober space of the Arsenale, the Renaissance-era shipyard owned by the Venice Biennale, Colbert, 42, is for the first time exhibiting the fruits of these voyages.
  • However, a dcpo equipped with the Scott topology need not be sober : The specialization order induced by the topology of a sober space makes that space into a dcpo, but the Scott topology derived from this order is finer than the original topology.